<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>[insert your title here]</title>
</head>
<body>
<p>This is a static HTML document,
   and is to be used as a &quot;menu&quot; for those without JavaScript.
   It should therefore reflect the menu itself and give links to useful content.</p>

</body>
</html>
